rm -rf *.bin *~ *.cmi *.cmo *.cmx *.o
